This paper considers two reasons that might support Russell’s choice of a ramified-type theory over a simple-type theory. The first reason is the existence of purported paradoxes that can be formulated in any simple-type language, including an argument that Russell considered in 1903. These arguments depend on certain converse-compositional principles. When we take account of Russell’s doctrine that a propositional function is not a constituent of its values, these principles turn out to be too implausible to make these arguments troubling. (...) The second reason is conditional on a substitutional interpretation of quantification over types other than that of individuals. This reason stands up to investigation: a simple-type language will not sustain such an interpretation, but a ramified-type language will. And there is evidence that Russell was tacitly inclined towards such an interpretation. A strong construal of that interpretation opens a way to make sense of Russell’s simultaneous repudiation of propositions and his willingness to quantify over them. But that way runs into trouble with Russell’s commitment to the finitude of human understanding. (shrink)

Discourse carries thin commitment to objects of a certain sort iff it says or implies that there are such objects. It carries a thick commitment to such objects iff an account of what determines truth-values for its sentences say or implies that there are such objects. This paper presents two model-theoretic semantics for mathematical discourse, one reflecting thick commitment to mathematical objects, the other reflecting only a thin commitment to them. According to the latter view, for example, the semantic role (...) of number-words is not designation but rather the encoding of cardinality-quantifiers. I also present some reasons for preferring this view. (shrink)

This paper and its sequel “look under the hood” of the usual sorts of proof-theoretic systems for certain well-known intuitionistic and classical propositional modal logics. Section 1 is preliminary. Of most importance: a marked formula will be the result of prefixing a formula in a propositional modal language with a step-marker, for this paper either 0 or 1. Think of 1 as indicating the taking of “one step away from 0.” Deductions will be constructed using marked formulas. Section 2 presents (...) the model-theoretic concepts, based on those in [7], that guide the rest of this paper. Section 3 presents Natural Deduction systems IK and CK, formalizations of intuitionistic and classical one-step versions of K. In these systems, occurrences of step-markers allow deductions to display deductive structure that is covered over in familiar “no step” proof-theoretic systems for such logics. Box and Diamond are governed by Introduction and Elimination rules; the familiar K rule and Necessitation are derived (i.e. admissible) rules. CK will be the result of adding the 0-version of the Rule of Excluded Middle to the rules which generate IK. Note: IK is the result of merely dropping that rule from those generating CK, without addition of further rules or axioms (as was needed in [7]). These proof-theoretic systems yield intuitionistic and classical consequence relations by the obvious definition. Section 4 provides some examples of what can be deduced in IK. Section 5 defines some proof-theoretic concepts that are used in Section 6 to prove the soundness of the consequence relation for IK (relative to the class of models defined in Section 2.) Section 7 proves its completeness (relative to that class). Section 8 extends these results to the consequence relation for CK. (Looking ahead: Part 2 will investigate one-step proof-theoretic systems formalizing intuitionistic and classical one-step versions of some familiar logics stronger than K.). (shrink)

A model-theoretic approach to the semantics of set-theoretic discourse.

Where $\underline{a}$ is a Turing degree and ξ is an ordinal $ , the result of performing ξ jumps on $\underline{a},\underline{a}^{(\xi)}$ , is defined set-theoretically, using Jensen's fine-structure results. This operation appears to be the natural extension through $(\aleph_1)^{L^\underline{a}}$ of the ordinary jump operations. We describe this operation in more degree-theoretic terms, examine how much of it could be defined in degree-theoretic terms and compare it to the single jump operation.

I prove that the Boolean Prime Ideal Theorem is equivalent, under some weak set-theoretic assumptions, to what I will call the Cut-for-Formulas to Cut-for-Sets Theorem: for a set F and a binary relation |- on Power(F), if |- is finitary, monotonic, and satisfies cut for formulas, then it also satisfies cut for sets. I deduce the CF/CS Theorem from the Ultrafilter Theorem twice; each proof uses a different order-theoretic variant of the Tukey- Teichmüller Lemma. I then discuss relationships between various (...) cut-conditions in the absence of finitariness or of monotonicity. (shrink)

Part 1 [Hodes, 2021] “looked under the hood” of the familiar versions of the classical propositional modal logic K and its intuitionistic counterpart. This paper continues that project, addressing some familiar classical strengthenings of K and GL), and their intuitionistic counterparts. Section 9 associates two intuitionistic one-step proof-theoretic systems to each of the just mentioned intuitionistic logics, this by adding for each a new rule to those which generated IK in Part 1. For the systems associated with the intuitionistic counterparts (...) of D and T, these rules are “pure one-step”: their schematic formulations does not use □ or ♢. For the systems associated with the intuitionistic counterparts of K4, etc., these rules meet these conditions: neither □ nor ♢ is iterated; none use both □ and ♢. The join of the two systems associated with each of these familiar logics is the full one-step system for that intuitionistic logic. And further “blended” intuitionistic systems arise from joining these systems in various ways. Adding the 0-version of Excluded Middle to their intuitionistic counterparts yields the one-step systems corresponding to the familiar classical logics. Each proof-theoretic system defines a consequence relation in the obvious way. Section 10 examines inclusions between these consequence relations. Section 11 associates each of the above consequence relations with an appropriate class of models, and proves them sound with respect to their appropriate class. This allows proofs of some failures of inclusion between consequence relations. Section 12 proves that the each consequence relation is complete or weakly complete, that relative to its appropriate class of models. The Appendix presents three further results about some of the intuitionistic consequence relations discussed in the body of the paper. For Keywords, see Part 1. (shrink)

Proof uses forcing on perfect trees for 2-quantifier sentences in the language of arithmetic. The result extends to exact pairs for the hyperarithmetic degrees.

Relative to any reasonable frame, satisfiability of modal quantificational formulae in which “= ” is the sole predicate is undecidable; but if we restrict attention to satisfiability in structures with the expanding domain property, satisfiability relative to the familiar frames (K, K4, T, S4, B, S5) is decidable. Furthermore, relative to any reasonable frame, satisfiability for modal quantificational formulae with a single monadic predicate is undecidable ; this improves the result of Kripke concerning formulae with two monadic predicates.

Let I be a countable jump ideal in $\mathscr{D} = \langle \text{The Turing degrees}, \leq\rangle$ . The central theorem of this paper is: a is a uniform upper bound on I iff a computes the join of an I-exact pair whose double jump a (1) computes. We may replace "the join of an I-exact pair" in the above theorem by "a weak uniform upper bound on I". We also answer two minimality questions: the class of uniform upper bounds on I (...) never has a minimal member; if ∪ I = L α [ A] ∩ ω ω for α admissible or a limit of admissibles, the same holds for nice uniform upper bounds. The central technique used in proving these theorems consists in this: by trial and error construct a generic sequence approximating the desired object; simultaneously settle definitely on finite pieces of that object; make sure that the guessing settles down to the object determined by the limit of these finite pieces. (shrink)

Where AR is the set of arithmetic Turing degrees, 0 (ω ) is the least member of { $\mathbf{\alpha}^{(2)}|\mathbf{a}$ is an upper bound on AR}. This situation is quite different if we examine HYP, the set of hyperarithmetic degrees. We shall prove (Corollary 1) that there is an a, an upper bound on HYP, whose hyperjump is the degree of Kleene's O. This paper generalizes this example, using an iteration of the jump operation into the transfinite which is based on (...) results of Jensen and is detailed in [3] and [4]. In $\S1$ we review the basic definitions from [3] which are needed to state the general results. (shrink)

This paper presents a model-theoretic semantics for discourse "about" natural numbers, one that captures what I call "the mathematical-object picture", but avoids what I can "the mathematical-object theory".

This article is a rebuttal to Robert G. Cavin and Carlos A. Colombetti’s article, “Assessing the Resurrection Hypothesis: Problems with Craig’s Inference to the Best Explanation,” which argues that the Standard Model of current particle physics entails that non-physical things (like a supernatural God or a supernaturally resurrected body) can have no causal contact with the physical universe. As such, they argue that William Lane Craig’s resurrection hypothesis is not only incompatible with the notion of Jesus physically appearing to the (...) disciples, but the resurrection hypothesis is significantly limited in both its explanatory scope and explanatory power. This article seeks to demonstrate why their use of the Standard Model does not logically entail a rejection of the physical resurrection of Jesus when considering the scope and limitations of science itself. (shrink)

The Adverse Outcome Pathway (AOP) concept is a knowledge assembly and communication tool to facilitate the transparent translation of mechanistic information into outcomes meaningful to the regulatory assessment of chemicals. The AOP framework and associated knowledgebases (KBs) have received significant attention and use in the regulatory toxicology community. However, it is increasingly apparent that the potential stakeholder community for the AOP concept and AOP KBs is broader than scientists and regulators directly involved in chemical safety assessment. In this paper we (...) identify and describe those stakeholders who currently—or in the future—could benefit from the application of the AOP framework and knowledge to specific problems. We also summarize the challenges faced in implementing pathway-based approaches such as the AOP framework in biological sciences, and provide a series of recommendations to meet critical needs to ensure further progression of the framework as a useful, sustainable and dependable tool supporting assessments of both human health and the environment. Although the AOP concept has the potential to significantly impact the organization and interpretation of biological information in a variety of disciplines/applications, this promise can only be fully realized through the active engagement of, and input from multiple stakeholders, requiring multi-pronged substantive long-term planning and strategies. (shrink)

According to telling based views of testimony (TBVs), B has reason to believe that p when A tells B that p because A thereby takes public responsibility for B's subsequent belief that p. Andrew Peet presents a new argument against TBVs. He argues that insofar as A uses context-sensitive expressions to express p, A doesn't take public responsibility for B's belief that p. Since context-sensitivity is widespread, the kind of reason TBVs say we have to believe what we're told, is (...) not widespread. Peet doesn't identify any problem with his own argument though he does attempt to limit its sceptical potential by identifying special contexts in which TBVs stand a chance of success. A more general defence of TBVs can be provided by showing Peet's argument to be unsound. I argue that Peet's argument is unsound because it requires us to wrongly suppose that speakers do far less labour than their audiences in context-sensitive linguistic communication. I aim to show why—in the context of the epistemology of testimony and the philosophy of language—it's important to recognize the labour that speakers can do, and so can can be held responsible for not doing, in episodes of context-sensitive linguistic communication. (shrink)

In this paper we explore the idea that Pentecostalism is best supported by conjoining it to a postmodern, narrative epistemology in which everything is a text requiring interpretation. On this view, truth doesn’t consist in a set of uninterpreted facts that make the claims of Christianity true; rather, as James K. A. Smith says, truth emerges when there is a “fit” or proportionality between the Christian story and one’s affective and emotional life. We argue that Pentecostals should reject this account (...) of truth, since it leads to either a self-refuting story-relativism or the equally problematic fallacy of story-ism: favoring one’s own story over others without legitimate reason. In either case, we contend, the gospel itself is placed at risk. (shrink)

Cyber attackers targeting large corporations achieved a high perimeter penetration success rate during 2013, resulting in many corporations incurring financial losses. Corporate information technology leaders have a fiduciary responsibility to implement information security domain processes that effectually address the challenges for preventing and deterring information security breaches. Grounded in corporate governance theory, the purpose of this correlational study was to examine the relationship between strategic alignment, resource management, risk management, value delivery, performance measurement implementations, and information security governance (ISG) effectiveness (...) in United States-based corporations. Surveys were used to collect data from 95 strategic and tactical leaders of the 500 largest for-profit United States headquartered corporations. The results of the multiple linear regression indicated the model was able to significantly predict ISG effectiveness, F(5, 89) = 3.08, p = 0.01, R² = 0.15. Strategic alignment was the only statistically significant (t = 2.401, p <= 0.018) predictor. The implications for positive social change include the potential to constructively understand the correlates of ISG effectiveness, thus increasing the propensity for consumer trust and reducing consumers' costs. (shrink)

Note: This draft was updated on November 10, 2020. Discussing federal statutes, Justice Scalia tells us that “[t]he stark reality is that the only thing that one can say for sure was agreed to by both houses and the president (on signing the bill) is the text of the statute. The rest is legal fiction." How should we take this claim? If we take "text" to mean the printed text, that text without more is just a series of marks. If (...) instead we take "text" (as we must) to refer to something off the page such as the "meaning" of the series of marks at issue, what is that meaning and how do we know that all the legislators "agreed" on that "meaning"? In seeking answers here, we necessarily delve into semiotics (i.e., the “general theory of signs”) by noting that meaningful ink marks ("signifiers) signify a meaning beyond themselves (the "signified.") Thus, understanding how signs function is integral to lawyers' textual and linguistic analysis. Additionally, as this article demonstrates, legal analysis and rhetoric are much impoverished if lawyers ignore nonverbal signs such as icons, indices, and nonverbal symbols. In providing a broad overview of semiotics for lawyers, this article thus (1) begins with a general definition of signs and the related notion of intentionality. It then turns to, among other things, (2) the structure and concomitants of signs in more detail (including the signifier and the signified), (3) the possible correlations of the signifier and the signified that generate signs of interest to lawyers such as the index, the icon, and the symbol; (5) the expansion of legal rhetoric through use of the index, the icon, and the non-verbal as well as the verbal symbol, (6) the nature of various semiotic acts in public and private law (including assertives, commissives, directives, and verdictives); (7) the interpretation and construction of semiotic acts (including contracts as commissives and legislation as directives); (8) the role of speaker or reader meaning in the interpretation and construction of semiotic acts; (9) the semiotics of meaning, time, and the fixation of meaning debate; (10) the impact of signifier drift; (11) the distinction between sense and understanding; and (12) some brief reflections on semiotics and the First Amendment. This article also provides an Appendix of further terms and concepts useful to lawyers in their explorations of semiotics. (shrink)

This Article explores the interpretation and construction of executive orders using as examples President Trump’s two executive orders captioned “Protecting the Nation From Foreign Terrorist Entry Into the United States” (the “Two Executive Orders”). President Trump issued the Two Executive Orders in the context of (among other things) Candidate Trump’s statements such as: “Islam hates us,” and “[W]e can’t allow people coming into this country who have this hatred.” President Trump subsequently provided further context including his tweet about the second (...) of his Two Executive Orders: “People, the lawyers and the courts can call [the second of the Two Executive Orders] whatever they want, but I am calling it what we need and what it is, a TRAVEL BAN!” Although President Trump replaced the first of the Two Executive Orders with the second one and although the Supreme Court by orders dated October 10, 2017 and October 24, 2017, vacated and remanded litigation involving the second order on grounds of mootness, the Two Executive Orders remain highly instructive for those who would understand the interpretation and construction of executive orders. This article therefore examines in detail the original speaker's (i.e., President Trump's) intended meaning and effect of the Two Executive Orders. It performs such examination using insights from the semiotic subfield of pragmatics, a semiotic subfield which explores how real-world people actually use, interpret, and construe language in various real-world contexts (including contexts where the issuer of the Two Executive Orders himself has claimed that “Islam hates us” and has tweeted “TRAVEL BAN!”). Using such insights of pragmatics, this Article also explores why reasonable judges thoroughly versed in legal theory, legal practice, and pragmatics should conclude that President Trump unlawfully targeted Muslims in the Two Executive Orders. This Article, among other things, also questions the sensibility of such notions as “facial legitimacy” to the extent such notions suggest text has meaning apart from context. Keywords: executive orders, speaker meaning, interpretation, construction, semiotics, pragmatics, originalism, speech acts, context, facial legitimacy, Constitutionality, First Amendment,Trump v. Int’l Refugee Assistance Project, Scalia, immigration, semantics, original meaning, travel ban, Trump, textualism. (shrink)

Neil Gorsuch lauds judges who purport to “apply the law as it is, focusing backward, not forward, and looking to text, structure, and history to decide what a reasonable reader at the time of the events in question would have understood the law to be . . . .” It’s hard to see how such a form of Originalism withstands scrutiny. -/- First, using “reasonable reader” understandings rather than speaker meaning turns language and law on their heads. Audiences effectively become (...) the speakers in ordinary speech (since reader or audience meaning prevails), and audiences (and thus the ruled) effectively become the rulers when interpreting law (since audiences’ meaning prevails). -/- Second, since laws look forward to govern conduct, how can best legal practices keep such a backward focus? -/- Third, words (however understood by others at the time “originally” uttered) may or may not (depending on speaker and not reader meaning) signify concepts whose meanings embrace change over time. For example, the word “planet” used by a speaker before the discovery of Uranus and Neptune may or may not include further planets depending upon what the speaker meant by “planet.” (The same applies to the inclusion or exclusion of Pluto had the speaker used the word “planet” after the discovery of Pluto but before its exclusion by current science.) Unlike the “reasonable” reader of Gorsuch’s Originalism as phrased above, speakers run the gamut from reasonable to unreasonable, from informed to uninformed, and from thoughtful to thoughtless. -/- Fourth, to the extent a judge is principally “constrained” by a text or texts (as he may determine), by dictionaries that he chooses, and by “history” as the judge understands it, isn’t judicial activism encouraged rather than restrained? Talk of a “reasonable” reader masks the fact that there can be multiple “reasonable” conclusions of what a reasonable or unreasonable speaker meant. Is a judge not therefore left to pick definitions and applications of terms that accord with the judge’s understandings of history, understandings that may well be colored by the judge’s politics and judicial philosophy? This applies to principles as well as labels for things. Principles are also subject to multiple frames, and their terms are subject to multiple definitions therefore raising the very same questions just raised above. -/- Finally, such Originalism doesn’t merely fail with legal texts. It also fails when applied to other texts (including sacred texts such as the Ten Commandments) and when used to interpret art (such as “Landscape with the Fall of Icarus” often attributed to Bruegel and which inspired such great ekphrasis as Auden’s “Musée Des Beaux Arts”). These further failures underscore the dysfunction of Originalism in Gorsuch's form noted above. -/- Keywords: Originalism, Neil Gorsuch, Text, Textualism, Scalia, Interpretation, Pragmatics, Speaker Meaning, Art, Painting, Bruegel, Auden, Ekphrasis, Icarus, Bible, Ten Commandments, Herod, Declaration of Independence, Abraham Lincoln. (shrink)

Evolutionary debunking accounts claim that the evolutionary origins of our moral beliefs provide a problem for moral realists because evolutionary explanations of our moral beliefs have more plausibility than realist accounts. A certain kind of response, which I term ‘rationalist’ offers a dual response to evolutionary debunking. First, they offer a supposedly plausible account of how we acquire objective moral knowledge through use of our rationality. Second, they claim that certain moral beliefs are not amenable to evolutionary explanation. I argue (...) that neither of these putative advantages survives further scrutiny. An appeal to ‘rational insight’, although it makes reference to a somewhat familiar faculty, gives no useful explanation of how we come to know moral facts. Moreover, the supposedly problematic moral beliefs are in fact amenable to evolutionary explanation. As such, rationalist accounts are, like other realist accounts, on the wrong side of the balance of justification against evolutionary debunking. (shrink)

Перевод статьи: Davies T., Chandler R. Online deliberation design: Choices, criteria, and evidence // Democracy in motion: Evaluating the practice and impact of deliberative civic engagement / Nabatchi T., Weiksner M., Gastil J., Leighninger M. (eds.). -- Oxford: Oxford univ. press, 2013. -- P. 103-131. А. Кулик. -/- Вниманию читателей предлагается обзор эмпирических исследований в области дизайна онлайн-форумов, предназначенных для вовлечения граждан в делиберацию. Размерности дизайна определены для различных характеристик делиберации: назначения, целевой аудитории, разобщенности участников в пространстве и во времени, (...) среды коммуникации и организации делиберативного процесса. После краткого обзора критериев оценки вариантов дизайна рассматриваются эмпирические данные, соотносящиеся с каждым из вариантов. Эффективность онлайн-делиберации зависит от того, насколько условия коммуникации соотносятся с заданиями делиберации. Компромиссы, как, например, между анонимным или идентифицируемым участием, предполагают различные дизайны в зависимости от цели делиберации и состава участников. Выводы исследования получены на материале существующих технологий и могут измениться по мере коэволюции технологий и пользователей. (shrink)

In this chapter, we attempt to show that J.P. Moreland's understanding of apologetics is beautifully positioned to counter resistance to a rationally defensible Christianity—resistance arising from the mistaken idea that any rational defense will fail to support or even undermine relationship. We look first at Paul Moser's complaint that since rational apologetics doesn’t prove the God of Christianity, it falls short of delivering what matters most—a personal agent worthy of worship and relationship. We then consider John Wilkinson's charge that the (...) use of reason and argument in evangelistic contexts is relationally futile. Since people aren’t looking for arguments, and logic is an arbitrary human invention, we should present Christianity to others as an irrational faith story. (shrink)

Academic philosophy has a novelty problem. Novelty has become a litmus test for a contribution’s value. This results in a common undertaking for academic researchers. Read a bunch. Look for holes and gaps. Figure out what hasn’t been said. Try to insert yourself in a conversation by saying something new. On first glance, this approach might appear to make sense. If it’s not new, why do we need it? Yet a fixation on novelty sculpts a landscape of philosophical inquiry that (...) is inhospitable and self-undermining. (shrink)

Context-sensitive expressions appear ill suited to the purpose of sharing content across contexts. Yet we regularly use them to that end (in regulations, textbooks, memos, guidelines, laws, minutes, etc.). This paper describes the utility of the concept of a metacontext for understanding cross-contextual content-sharing with context-sensitive expressions. A metacontext is the context of a group of contexts: an infrastructure that can channel non-linguistic incentives on content ascription so as to homogenize the content ascribed to context-sensitive expressions in each context in (...) the group. Documents composed of context-sensitive expressions can share content across contexts when supported by an appropriate metacontext. The bible has its church, the textbook its education system, the form its bureaucracy, and the manifesto its social movement. Some metacontexts support cross-contextual content-sharing. Some don’t. A promising research programme (one with practical importance) would take metacontexts as its unit of analysis. (shrink)

Estonian doesn't have a definite article. Instead, bare singular noun phrases can unambiguously bear either a definite interpretation or an indefinite interpretation. This paper argues that the pragmatic principles governing the felicitous use of three English articles ("a", "the" and "another"), described by A Grønn and KJ Sæbø (2012, 'A, the, another: A game of same and different' Journal of Logic, Language and Information 21, 75-95) can also account for the conditions under which a bare singular noun phrase in Estonian (...) bears a definite or instead an indefinite interpretation. The two languages use the same pragmatic principles to determine the definiteness interpretation of a noun phrase. The difference is just that in English (where definiteness meanings have been lexicalized) these pragmatic principles govern the felicity of article use, whereas in Estonian they govern the interpretation of a bare singular noun phrase. (shrink)

Some people are multi-billionaires; others die because they are too poor to afford food or medications. In many countries, people are denied rights to free speech, to participate in political life, or to pursue a career, because of their gender, religion, race or other factors, while their fellow citizens enjoy these rights. In many societies, what best predicts your future income, or whether you will attend college, is your parents’ income. -/- To many, these facts seem unjust. Others disagree: even (...) if these facts are regrettable, they aren’t issues of justice. A successful theory of justice must explain why clear injustices are unjust and help us resolve current disputes. -/- John Rawls (1921-2002) was a Harvard philosopher best known for his A Theory of Justice (1971), which attempted to define a just society. Nearly every contemporary scholarly discussion of justice references A Theory of Justice. This essay reviews its main themes. (shrink)

This paper explores early Australasian philosophy in some detail. Two approaches have dominated Western philosophy in Australia: idealism and materialism. Idealism was prevalent between the 1880s and the 1930s, but dissipated thereafter. Idealism in Australia often reflected Kantian themes, but it also reflected the revival of interest in Hegel through the work of ‘absolute idealists’ such as T. H. Green, F. H. Bradley, and Henry Jones. A number of the early New Zealand philosophers were also educated in the idealist tradition (...) and were influential in their communities, but produced relatively little. In Australia, materialism gained prominence through the work of John Anderson, who arrived in Australia in 1927, and continues to be influential. John Anderson had been a student of Henry Jones, who might therefore be said to have influenced both main strands of Australian philosophical thought. (shrink)

A recent panel at the annual meetings of the American Society for Aesthetics had the title “Can films philosophize?” The answer is, obviously, no, if we take this question literally. But books can’t philosophize either, in this sense. People philosophize, and they generally use natural language as the medium in which they carry out this activity. So our question is, can film serve as a philosophical medium in the ways, or in some of the ways, that language does? To answer (...) this question, we must first ask in what ways language functions as a philosophical medium. At a very general level, the answer to this question is fairly straightforward, if uninteresting. Language functions as a philosophical medium in that we use language to identify, articulate, clarify, and inter-relate what are viewed as philosophical issues, and to deepen our understanding of these issues and of the things that others say about them. What we take to be the significant philosophical issues, however, and what we take to be a contribution to deepening our understanding of these issues, may differ according to the philosophical tradition in which we work. If, for example, we think that the most fundamental philosophical issue is asking the question of Being, then our judgment as to when the linguistic medium is being used to ‘do philosophy’ is likely to differ substantially from the judgment we would make if we think that philosophers are best occupied analyzing everyday discourse or tending the separate gardens of the sciences. (shrink)

The present article was partly inspired by G. Pollack’s book, and also Dadoloff, Saxena & Jensen (2010). As a senior physicist colleague and our friend, Robert N. Boyd, wrote in a journal (JCFA, Vol. 1, No. 2, 2022), for example, things and Beings can travel between Universes, intentionally or unintentionally [4]. In this short remark, we revisit and offer short remark to Neil Boyd’s ideas and trying to connect them with geometry of musical chords as presented by D. Tymoczko and (...) others, then to Escherian staircase and then to Jacob’s ladder which seems to pointto possibility to interpret Jacob’s vision as described in the ancient book of Genesis as interdimensional staircase, e.g. an interdimensional bridge between heaven and earth (cf. classic book: Hofstadter, Godel, Escher, Bach). Jacob’s vision of angels going down to earth from that staircase has been depicted for instance in William Blake art etc. In our communication with others via physics literature and discussions etc, we came to several conclusions as follows: Firstly, possibility of wormhole effect to mirror particle universe, which sometimes it is termed non-orientable wormhole. While such mirror particles effect have been more than 50 years predicted with the so-called parity violation (cf. Lee & Yang, 1950s), and that is called symmetry breaking. Secondly, a series of extended experiments on laser irradiated cold water may suggest possible transition from a phase of water to be at least partially fourth phase of water, which may be composed of crystalline water (see e.g. Gerald Pollack, and also Harold Aspden on liquid crystalline). If we can imagine laser cooling effect can be done in protracted time, then we can achieve a physical representation of Aspden‘s liquid crystalline. Therefore, in this article we outline a series of simple experiments of laser irradiated iced-water along with beryl and selenite crystals in order to see possibility of such a quantum tunneling via quantum liquid crystalline Universe hypothesis, which may likely be modeled with iced-water. It is interesting to remark here that certain experiments by Stockholm University scientists have shown that X-ray triggered water can exhibit properties just like liquid crystal (cf. PRL, 2020). That is why we consider it possible that there can be quantum phase transition where liquid water (comprised of iced cubes and water) can exhibit effects such as tunneling in quantum liquid crystalline Universe. Last but not least, we admit that what we outlined here is just aninitial phase; and if you wish, perhaps we can call such experiments as “wormhole-at-lab” experiments (abbreviated: WHALE). (shrink)

As a senior physicist colleague and our friend, Robert N. Boyd, wrote in a journal (JCFA, Vol. 1,. 2, 2022), Our universe is but one page in a large book [4]. For example, things and Beings can travel between Universes, intentionally or unintentionally. In this short remark, we revisit and offer short remark to Neil’s ideas and trying to connect them with geometrization of musical chords as presented by D. Tymoczko and others, then to Escher staircase and then to Jacob’s (...) ladder which seems to point to possibility to interpret Jacob’s vision as described in the ancient book of Genesis as inter dimensional or heavenly staircase, e.g. an inter dimensional bridge between heaven and earth (see also classic book: Hofstadter, Godel, Escher, Bach). Jacob’s vision of angels going down to earth from that staircase has been depicted for instance in William Blake art etc. In our communication with others via physics literature and discussions etc, we came to several conclusions as follows: Firstly, possibility of quantum wormhole effect to mirror particle universe, which sometimes it is termed non-orientable wormhole. While such mirror particles effect have been more than 50 years predicted with the so-called parity violation (cf. Lee & Yang, 1950s), and that is called symmetry breaking. Secondly, a series of extended experiments on laser irradiated cold water may suggest possible transition from a phase of water to be at least partially fourth phase of water, which may be composed of crystalline water (see e.g. Gerald Pollack, and also Harold Aspden on liquid crystalline). If we can imagine laser cooling effect can be done in protracted time, then we can achieve a physical representation of Aspden’s liquid crystalline. Therefore, in subsequent article (Part II) we outlined simple model of such an effect of tunneling via quantum liquid crystalline Universe, which may likely be modeled with iced-water. It is interesting to remark here that certain experiments by Stockholm University scientists have shown that X-ray triggered water can exhibit properties just like liquid crystal (cf. PRL, 2020). That is why we consider it possible that there can be quantum phase transition where liquid water (comprised of iced cubes and water) can exhibit effects such as tunneling in quantum liquid crystalline Universe. Last but not least, we admit that what we outlined here is just an initial phase; and if you wish, perhaps we can call such experiments as “wormhole-at-lab” experiments (abbreviated: WHALE). (shrink)

We respond to Stephen T. Davis’ criticism of our earlier essay, “Assessing the Resurrection Hypothesis.” We argue that the Standard Model of physics is relevant and decisive in establishing the implausibility and low explanatory power of the Resurrection hypothesis. We also argue that the laws of physics have entailments regarding God and the supernatural and, against Alvin Plantinga, that these same laws lack the proviso “no agent supernaturally interferes.” Finally, we offer Bayesian arguments for the Legend hypothesis and against (...) the Resurrection hypothesis. (shrink)

In response to Stephen Davis’s criticism of our previous essay, we revisit and defend our arguments that the Resurrection hypothesis is logically incompatible with the Standard Model of particle physics—and thus is maximally implausible—and that it cannot explain the sensory experiences of the Risen Jesus attributed to various witnesses in the New Testament—and thus has low explanatory power. We also review Davis’s reply, noting that he evades our arguments, misstates their conclusions, and distracts the reader with irrelevancies regarding, (...) e.g., what natural laws are, what a miracle is, and how “naturalism” and “supernaturalism” differ as worldviews. Contrary to what Davis claims (even in his abstract), we do not argue that “if the Standard Model of particle physics is true, then the resurrection of Jesus did not occur and physical things can only causally interact with other physical things.” Davis distorts our claims and criticizes straw men of his own creation. (shrink)

In this paper, I defend the agent/patient distinction against critics who argue that causal interactions are symmetrical. Specifically, I argue that there is a widespread type of causal interaction between distinct entities, resulting in a type of ontological asymmetry that provides principled grounds for distinguishing agents from patients. The type of interaction where the asymmetry is found is when one of the entities undergoes a change in kind, structure, powers, or intrinsic properties as a result of the interaction while the (...) other does not. Interactions of this type are widespread in molecular biology and chemistry. I focus specifically on (i) the actions of enzymes on substrates and (ii) water molecules breaking the bonds of polarized molecules. Finally, I respond to objections by laying out and to a limited extent defending three commitments of my account: emergent entities and powers, realism about chemical kinds or structures, and the assumption of the agent/patient distinction in functional attributions in biology. (shrink)